*************************************************************

   NEOS Server Version 5.0
   Job#     : 129812
   Password : dfXKIOlj
   Solver   : milp:scip:AMPL
   Start    : 2012-03-02 04:54:12
   End      : 2012-03-02 04:54:47
   Host     : plato.asu.edu

   Disclaimer:

   This information is provided without any express or
   implied warranty. In particular, there is no warranty
   of any kind concerning the fitness of this
   information  for any particular purpose.
*************************************************************


***SCIP-AMPL***


55236 variables, all binary
11692 constraints, all linear; 48198 nonzeros
	751 equality constraints
	10941 inequality constraints
1 linear objective; 55236 nonzeros.

SCIP version 2.1.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: CPLEX 12.3.0.0] [GitHash: 8ab125b]
Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)

External codes: 
  CPLEX 12.3.0.0       Linear Programming Solver developed by IBM (www.cplex.com)
  ZLIB 1.2.3.4         General purpose compression library by J. Gailly and M. Adler (zlib.net)
  GMP 4.3.2            GNU Multiple Precision Arithmetic Library developed by T. Granlund (gmplib.org)
  ZIMPL 3.2.0          Zuse Institute Mathematical Programming Language developed by T. Koch (zimpl.zib.de)
  Ipopt 3.10.2         Interior Point Optimizer developed by A. Waechter et.al. (www.coin-or.org/Ipopt)

reading user parameter file <scip.set>

SCIP> original problem has 55236 variables (55236 bin, 0 int, 0 impl, 0 cont) and 11692 constraints
SCIP> limits/gap = 0.0001
SCIP> limits/absgap = 1e-09
SCIP> limits/time = 36000
SCIP> loaded parameter file <scip.set>
SCIP> 
presolving:
(round 1) 34656 del vars, 6904 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7552 impls, 1339 clqs
(round 2) 34656 del vars, 6904 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 4788 upgd conss, 7552 impls, 1339 clqs
(round 3) 51045 del vars, 6904 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 4788 upgd conss, 7552 impls, 1339 clqs
   (1.0s) probing: 1000/4191 (23.9%) - 0 fixings, 0 aggregations, 1863 implications, 0 bound changes
   (1.0s) probing: 1001/4191 (23.9%) - 0 fixings, 0 aggregations, 1863 implications, 0 bound changes
   (1.0s) probing aborted: 1000/1000 successive useless probings
presolving (4 rounds):
 51045 deleted vars, 6904 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
 15996 implications, 1339 cliques
presolved problem has 4191 variables (4191 bin, 0 int, 0 impl, 0 cont) and 4788 constraints
   4788 constraints of type <setppc>
transformed objective value is always integral (scale: 1)
Presolving Time: 0.90

 time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
T 1.0s|     1 |     0 |     0 |     - | 100M|   0 |   - |4191 |4788 |4191 |4788 |   0 |   0 |   0 |      --      | 1.750670e+08 |    Inf 
  1.2s|     1 |     0 |  3996 |     - |  99M|   0 |2236 |4191 |4788 |4191 |4788 |   0 |   0 |   0 | 8.349652e+07 | 1.750670e+08 | 109.67%
  1.5s|     1 |     0 |  4066 |     - | 100M|   0 |2232 |4191 |4788 |4191 |4799 |  11 |   0 |   0 | 8.488943e+07 | 1.750670e+08 | 106.23%
  1.8s|     1 |     0 |  4133 |     - | 100M|   0 |2233 |4191 |4788 |4191 |4808 |  20 |   0 |   0 | 8.580738e+07 | 1.750670e+08 | 104.02%
  2.0s|     1 |     0 |  4207 |     - | 100M|   0 |2226 |4191 |4788 |4191 |4816 |  28 |   0 |   0 | 8.682186e+07 | 1.750670e+08 | 101.64%
  2.3s|     1 |     0 |  4266 |     - | 100M|   0 |2222 |4191 |4788 |4191 |4824 |  36 |   0 |   0 | 8.768206e+07 | 1.750670e+08 |  99.66%
  2.6s|     1 |     0 |  4329 |     - | 100M|   0 |2220 |4191 |4788 |4191 |4834 |  46 |   0 |   0 | 8.865726e+07 | 1.750670e+08 |  97.46%
  2.8s|     1 |     0 |  4398 |     - | 100M|   0 |2215 |4191 |4788 |4191 |4842 |  54 |   0 |   0 | 8.968962e+07 | 1.750670e+08 |  95.19%
  3.1s|     1 |     0 |  4479 |     - | 100M|   0 |2209 |4191 |4788 |4191 |4853 |  65 |   0 |   0 | 9.095997e+07 | 1.750670e+08 |  92.47%
  3.3s|     1 |     0 |  4567 |     - | 100M|   0 |2202 |4191 |4788 |4191 |4862 |  74 |   0 |   0 | 9.235902e+07 | 1.750670e+08 |  89.55%
  3.5s|     1 |     0 |  4628 |     - | 100M|   0 |2203 |4191 |4788 |4191 |4872 |  84 |   0 |   0 | 9.300640e+07 | 1.750670e+08 |  88.23%
  3.8s|     1 |     0 |  4731 |     - | 100M|   0 |2195 |4191 |4788 |4191 |4882 |  94 |   0 |   0 | 9.419755e+07 | 1.750670e+08 |  85.85%
  4.0s|     1 |     0 |  4786 |     - | 100M|   0 |2193 |4191 |4788 |4191 |4890 | 104 |   0 |   0 | 9.517739e+07 | 1.750670e+08 |  83.94%
  4.2s|     1 |     0 |  4872 |     - | 100M|   0 |2191 |4191 |4788 |4191 |4898 | 112 |   0 |   0 | 9.625539e+07 | 1.750670e+08 |  81.88%
  4.3s|     1 |     0 |  4964 |     - | 101M|   0 |2182 |4191 |4788 |4191 |4908 | 122 |   0 |   0 | 9.768654e+07 | 1.750670e+08 |  79.21%
 time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
  4.5s|     1 |     0 |  5056 |     - | 101M|   0 |2181 |4191 |4788 |4191 |4917 | 131 |   0 |   0 | 9.843700e+07 | 1.750670e+08 |  77.85%
  4.7s|     1 |     0 |  5133 |     - | 101M|   0 |2158 |4191 |4788 |4191 |4927 | 141 |   0 |   0 | 9.984709e+07 | 1.750670e+08 |  75.34%
  4.9s|     1 |     0 |  5218 |     - | 101M|   0 |2152 |4191 |4788 |4191 |4937 | 151 |   0 |   0 | 1.008160e+08 | 1.750670e+08 |  73.65%
  5.1s|     1 |     0 |  5386 |     - | 101M|   0 |2142 |4191 |4788 |4191 |4937 | 159 |   0 |   0 | 1.016914e+08 | 1.750670e+08 |  72.16%
  5.3s|     1 |     0 |  5466 |     - | 101M|   0 |2134 |4191 |4788 |4191 |4945 | 167 |   0 |   0 | 1.027069e+08 | 1.750670e+08 |  70.45%
  5.5s|     1 |     0 |  5510 |     - | 101M|   0 |2124 |4191 |4788 |4191 |4952 | 174 |   0 |   0 | 1.036176e+08 | 1.750670e+08 |  68.95%
  5.7s|     1 |     0 |  5619 |     - | 101M|   0 |2112 |4191 |4788 |4191 |4958 | 180 |   0 |   0 | 1.043953e+08 | 1.750670e+08 |  67.70%
  5.8s|     1 |     0 |  5670 |     - | 101M|   0 |2115 |4191 |4788 |4191 |4968 | 190 |   0 |   0 | 1.052898e+08 | 1.750670e+08 |  66.27%
  6.0s|     1 |     0 |  5710 |     - | 101M|   0 |2095 |4191 |4788 |4191 |4975 | 197 |   0 |   0 | 1.063098e+08 | 1.750670e+08 |  64.68%
  6.2s|     1 |     0 |  5764 |     - | 101M|   0 |2086 |4191 |4788 |4191 |4972 | 203 |   0 |   0 | 1.070625e+08 | 1.750670e+08 |  63.52%
  6.3s|     1 |     0 |  5792 |     - | 101M|   0 |2078 |4191 |4788 |4191 |4978 | 209 |   0 |   0 | 1.077141e+08 | 1.750670e+08 |  62.53%
  6.5s|     1 |     0 |  5840 |     - | 101M|   0 |2065 |4191 |4788 |4191 |4984 | 215 |   0 |   0 | 1.084807e+08 | 1.750670e+08 |  61.38%
  6.6s|     1 |     0 |  5868 |     - | 101M|   0 |2065 |4191 |4788 |4191 |4989 | 220 |   0 |   0 | 1.091647e+08 | 1.750670e+08 |  60.37%
  6.8s|     1 |     0 |  5938 |     - | 101M|   0 |2056 |4191 |4788 |4191 |4995 | 226 |   0 |   0 | 1.099274e+08 | 1.750670e+08 |  59.26%
  6.9s|     1 |     0 |  5963 |     - | 101M|   0 |2056 |4191 |4788 |4191 |5000 | 231 |   0 |   0 | 1.105139e+08 | 1.750670e+08 |  58.41%
 time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
  7.1s|     1 |     0 |  6006 |     - | 101M|   0 |2045 |4191 |4788 |4191 |4994 | 237 |   0 |   0 | 1.114945e+08 | 1.750670e+08 |  57.02%
  7.2s|     1 |     0 |  6047 |     - | 101M|   0 |2033 |4191 |4788 |4191 |5000 | 243 |   0 |   0 | 1.125788e+08 | 1.750670e+08 |  55.51%
  7.3s|     1 |     0 |  6080 |     - | 101M|   0 |2025 |4191 |4788 |4191 |5006 | 249 |   0 |   0 | 1.135198e+08 | 1.750670e+08 |  54.22%
  7.5s|     1 |     0 |  6123 |     - | 101M|   0 |2014 |4191 |4788 |4191 |5012 | 255 |   0 |   0 | 1.144724e+08 | 1.750670e+08 |  52.93%
  7.6s|     1 |     0 |  6161 |     - | 101M|   0 |2006 |4191 |4788 |4191 |5018 | 261 |   0 |   0 | 1.155101e+08 | 1.750670e+08 |  51.56%
  7.8s|     1 |     0 |  6179 |     - | 101M|   0 |1994 |4191 |4788 |4191 |5023 | 266 |   0 |   0 | 1.162511e+08 | 1.750670e+08 |  50.59%
  7.9s|     1 |     0 |  6268 |     - | 101M|   0 |1976 |4191 |4788 |4191 |5026 | 272 |   0 |   0 | 1.173198e+08 | 1.750670e+08 |  49.22%
  8.0s|     1 |     0 |  6337 |     - | 101M|   0 |1962 |4191 |4788 |4191 |5032 | 278 |   0 |   0 | 1.182283e+08 | 1.750670e+08 |  48.08%
  8.2s|     1 |     0 |  6382 |     - | 101M|   0 |1949 |4191 |4788 |4191 |5038 | 284 |   0 |   0 | 1.191887e+08 | 1.750670e+08 |  46.88%
  8.3s|     1 |     0 |  6418 |     - | 101M|   0 |1935 |4191 |4788 |4191 |5044 | 290 |   0 |   0 | 1.200732e+08 | 1.750670e+08 |  45.80%
  8.4s|     1 |     0 |  6462 |     - | 101M|   0 |1920 |4191 |4788 |4191 |5050 | 296 |   0 |   0 | 1.209093e+08 | 1.750670e+08 |  44.79%
  8.6s|     1 |     0 |  6604 |     - | 101M|   0 |1903 |4191 |4788 |4191 |5056 | 302 |   0 |   0 | 1.217885e+08 | 1.750670e+08 |  43.75%
  8.7s|     1 |     0 |  6644 |     - | 101M|   0 |1890 |4191 |4788 |4191 |5059 | 309 |   0 |   0 | 1.226364e+08 | 1.750670e+08 |  42.75%
  8.8s|     1 |     0 |  6669 |     - | 101M|   0 |1883 |4191 |4788 |4191 |5065 | 315 |   0 |   0 | 1.230738e+08 | 1.750670e+08 |  42.25%
  8.9s|     1 |     0 |  6678 |     - | 101M|   0 |1876 |4191 |4788 |4191 |5070 | 320 |   0 |   0 | 1.235637e+08 | 1.750670e+08 |  41.68%
 time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
  9.1s|     1 |     0 |  6693 |     - | 101M|   0 |1874 |4191 |4788 |4191 |5074 | 324 |   0 |   0 | 1.238457e+08 | 1.750670e+08 |  41.36%
  9.2s|     1 |     0 |  6717 |     - | 101M|   0 |1867 |4191 |4788 |4191 |5080 | 330 |   0 |   0 | 1.243323e+08 | 1.750670e+08 |  40.81%
  9.3s|     1 |     0 |  6735 |     - | 101M|   0 |1859 |4191 |4788 |4191 |5086 | 336 |   0 |   0 | 1.248648e+08 | 1.750670e+08 |  40.21%
  9.4s|     1 |     0 |  6792 |     - | 101M|   0 |1852 |4191 |4788 |4191 |5089 | 341 |   0 |   0 | 1.253086e+08 | 1.750670e+08 |  39.71%
  9.6s|     1 |     0 |  6927 |     - | 101M|   0 |1838 |4191 |4788 |4191 |5094 | 346 |   0 |   0 | 1.261465e+08 | 1.750670e+08 |  38.78%
  9.7s|     1 |     0 |  6966 |     - | 101M|   0 |1821 |4191 |4788 |4191 |5100 | 352 |   0 |   0 | 1.271014e+08 | 1.750670e+08 |  37.74%
  9.8s|     1 |     0 |  6994 |     - | 101M|   0 |1809 |4191 |4788 |4191 |5107 | 359 |   0 |   0 | 1.279665e+08 | 1.750670e+08 |  36.81%
 10.0s|     1 |     0 |  7027 |     - | 101M|   0 |1809 |4191 |4788 |4191 |5112 | 364 |   0 |   0 | 1.283347e+08 | 1.750670e+08 |  36.41%
 10.1s|     1 |     0 |  7070 |     - | 101M|   0 |1854 |4191 |4788 |4191 |5118 | 370 |   0 |   0 | 1.289714e+08 | 1.750670e+08 |  35.74%
 10.2s|     1 |     0 |  7116 |     - | 101M|   0 |1837 |4191 |4788 |4191 |5119 | 378 |   0 |   0 | 1.296316e+08 | 1.750670e+08 |  35.05%
 10.3s|     1 |     0 |  7148 |     - | 101M|   0 |1825 |4191 |4788 |4191 |5125 | 384 |   0 |   0 | 1.303376e+08 | 1.750670e+08 |  34.32%
 10.5s|     1 |     0 |  7168 |     - | 101M|   0 |1814 |4191 |4788 |4191 |5131 | 390 |   0 |   0 | 1.309750e+08 | 1.750670e+08 |  33.66%
 10.6s|     1 |     0 |  7233 |     - | 101M|   0 |1839 |4191 |4788 |4191 |5137 | 396 |   0 |   0 | 1.316071e+08 | 1.750670e+08 |  33.02%
 10.7s|     1 |     0 |  7276 |     - | 101M|   0 |1796 |4191 |4788 |4191 |5146 | 405 |   0 |   0 | 1.321870e+08 | 1.750670e+08 |  32.44%
 10.8s|     1 |     0 |  7297 |     - | 101M|   0 |1827 |4191 |4788 |4191 |5153 | 412 |   0 |   0 | 1.324374e+08 | 1.750670e+08 |  32.19%
 time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
 10.9s|     1 |     0 |  7310 |     - | 101M|   0 |1821 |4191 |4788 |4191 |5151 | 417 |   0 |   0 | 1.328417e+08 | 1.750670e+08 |  31.79%
 11.0s|     1 |     0 |  7331 |     - | 101M|   0 |1811 |4191 |4788 |4191 |5156 | 422 |   0 |   0 | 1.332454e+08 | 1.750670e+08 |  31.39%
 11.1s|     1 |     0 |  7348 |     - | 101M|   0 |1801 |4191 |4788 |4191 |5164 | 430 |   0 |   0 | 1.337531e+08 | 1.750670e+08 |  30.89%
 11.2s|     1 |     0 |  7391 |     - | 101M|   0 |1794 |4191 |4788 |4191 |5171 | 437 |   0 |   0 | 1.342379e+08 | 1.750670e+08 |  30.42%
 11.3s|     1 |     0 |  7411 |     - | 101M|   0 |1789 |4191 |4788 |4191 |5178 | 444 |   0 |   0 | 1.345244e+08 | 1.750670e+08 |  30.14%
 11.5s|     1 |     0 |  7431 |     - | 101M|   0 |1784 |4191 |4788 |4191 |5184 | 450 |   0 |   0 | 1.349452e+08 | 1.750670e+08 |  29.73%
 11.6s|     1 |     0 |  7482 |     - | 101M|   0 |1769 |4191 |4788 |4191 |5187 | 457 |   0 |   0 | 1.357264e+08 | 1.750670e+08 |  28.99%
 11.7s|     1 |     0 |  7499 |     - | 101M|   0 |1765 |4191 |4788 |4191 |5193 | 463 |   0 |   0 | 1.361927e+08 | 1.750670e+08 |  28.54%
 11.8s|     1 |     0 |  7516 |     - | 101M|   0 |1757 |4191 |4788 |4191 |5200 | 470 |   0 |   0 | 1.366538e+08 | 1.750670e+08 |  28.11%
 11.9s|     1 |     0 |  7539 |     - | 101M|   0 |1750 |4191 |4788 |4191 |5206 | 476 |   0 |   0 | 1.370890e+08 | 1.750670e+08 |  27.70%
 12.0s|     1 |     0 |  7575 |     - | 101M|   0 |1740 |4191 |4788 |4191 |5213 | 483 |   0 |   0 | 1.377152e+08 | 1.750670e+08 |  27.12%
 12.1s|     1 |     0 |  7593 |     - | 101M|   0 |1725 |4191 |4788 |4191 |5219 | 489 |   0 |   0 | 1.383592e+08 | 1.750670e+08 |  26.53%
 12.2s|     1 |     0 |  7616 |     - | 101M|   0 |1718 |4191 |4788 |4191 |5223 | 496 |   0 |   0 | 1.388783e+08 | 1.750670e+08 |  26.06%
 12.3s|     1 |     0 |  7653 |     - | 101M|   0 |1706 |4191 |4788 |4191 |5229 | 502 |   0 |   0 | 1.395170e+08 | 1.750670e+08 |  25.48%
 12.4s|     1 |     0 |  7689 |     - | 101M|   0 |1694 |4191 |4788 |4191 |5235 | 508 |   0 |   0 | 1.401222e+08 | 1.750670e+08 |  24.94%
 time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
 12.5s|     1 |     0 |  7810 |     - | 101M|   0 |1719 |4191 |4788 |4191 |5242 | 515 |   0 |   0 | 1.407537e+08 | 1.750670e+08 |  24.38%
 12.6s|     1 |     0 |  7848 |     - | 101M|   0 |1711 |4191 |4788 |4191 |5249 | 522 |   0 |   0 | 1.414657e+08 | 1.750670e+08 |  23.75%
 12.7s|     1 |     0 |  7887 |     - | 101M|   0 |1707 |4191 |4788 |4191 |5254 | 527 |   0 |   0 | 1.418439e+08 | 1.750670e+08 |  23.42%
 12.8s|     1 |     0 |  7905 |     - | 101M|   0 |1704 |4191 |4788 |4191 |5256 | 535 |   0 |   0 | 1.421915e+08 | 1.750670e+08 |  23.12%
 13.0s|     1 |     0 |  8079 |     - | 101M|   0 |1421 |4191 |4788 |4191 |5263 | 542 |   0 |   0 | 1.427629e+08 | 1.750670e+08 |  22.63%
 13.1s|     1 |     0 |  8126 |     - | 101M|   0 |1418 |4191 |4788 |4191 |5274 | 553 |   0 |   0 | 1.430704e+08 | 1.750670e+08 |  22.36%
 13.1s|     1 |     0 |  8153 |     - | 101M|   0 |1413 |4191 |4788 |4191 |5280 | 559 |   0 |   0 | 1.437507e+08 | 1.750670e+08 |  21.79%
 13.2s|     1 |     0 |  8174 |     - | 101M|   0 |1484 |4191 |4788 |4191 |5286 | 565 |   0 |   0 | 1.442912e+08 | 1.750670e+08 |  21.33%
 13.3s|     1 |     0 |  8188 |     - | 101M|   0 |1481 |4191 |4788 |4191 |5292 | 571 |   0 |   0 | 1.446317e+08 | 1.750670e+08 |  21.04%
 13.4s|     1 |     0 |  8210 |     - | 101M|   0 |1402 |4191 |4788 |4191 |5292 | 576 |   0 |   0 | 1.450121e+08 | 1.750670e+08 |  20.73%
 13.5s|     1 |     0 |  8247 |     - | 101M|   0 |1400 |4191 |4788 |4191 |5299 | 583 |   0 |   0 | 1.454896e+08 | 1.750670e+08 |  20.33%
 13.6s|     1 |     0 |  8273 |     - | 101M|   0 |1388 |4191 |4788 |4191 |5306 | 590 |   0 |   0 | 1.462170e+08 | 1.750670e+08 |  19.73%
 13.7s|     1 |     0 |  8300 |     - | 101M|   0 |1379 |4191 |4788 |4191 |5312 | 596 |   0 |   0 | 1.468292e+08 | 1.750670e+08 |  19.23%
 13.8s|     1 |     0 |  8341 |     - | 101M|   0 |1364 |4191 |4788 |4191 |5319 | 603 |   0 |   0 | 1.477102e+08 | 1.750670e+08 |  18.52%
 13.9s|     1 |     0 |  8354 |     - | 101M|   0 |1356 |4191 |4788 |4191 |5325 | 609 |   0 |   0 | 1.482491e+08 | 1.750670e+08 |  18.09%
 time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
 13.9s|     1 |     0 |  8395 |     - | 101M|   0 |1426 |4191 |4788 |4191 |5322 | 616 |   0 |   0 | 1.490144e+08 | 1.750670e+08 |  17.48%
 14.0s|     1 |     0 |  8427 |     - | 101M|   0 |1448 |4191 |4788 |4191 |5330 | 624 |   0 |   0 | 1.492373e+08 | 1.750670e+08 |  17.31%
 14.1s|     1 |     0 |  8462 |     - | 101M|   0 |1448 |4191 |4788 |4191 |5336 | 630 |   0 |   0 | 1.493743e+08 | 1.750670e+08 |  17.20%
 14.2s|     1 |     0 |  8481 |     - | 101M|   0 |1402 |4191 |4788 |4191 |5344 | 638 |   0 |   0 | 1.500323e+08 | 1.750670e+08 |  16.69%
 14.3s|     1 |     0 |  8511 |     - | 101M|   0 |1402 |4191 |4788 |4191 |5350 | 644 |   0 |   0 | 1.503118e+08 | 1.750670e+08 |  16.47%
 14.4s|     1 |     0 |  8548 |     - | 101M|   0 |1404 |4191 |4788 |4191 |5355 | 649 |   0 |   0 | 1.506080e+08 | 1.750670e+08 |  16.24%
 14.5s|     1 |     0 |  8600 |     - | 101M|   0 |1403 |4191 |4788 |4191 |5357 | 654 |   0 |   0 | 1.509926e+08 | 1.750670e+08 |  15.94%
 14.6s|     1 |     0 |  8674 |     - | 101M|   0 |1401 |4191 |4788 |4191 |5362 | 659 |   0 |   0 | 1.513279e+08 | 1.750670e+08 |  15.69%
 14.7s|     1 |     0 |  8697 |     - | 101M|   0 |1398 |4191 |4788 |4191 |5369 | 666 |   0 |   0 | 1.514545e+08 | 1.750670e+08 |  15.59%
 14.8s|     1 |     0 |  8736 |     - | 101M|   0 |1400 |4191 |4788 |4191 |5378 | 675 |   0 |   0 | 1.517118e+08 | 1.750670e+08 |  15.39%
 14.9s|     1 |     0 |  8900 |     - | 101M|   0 |1290 |4191 |4788 |4191 |5384 | 681 |   0 |   0 | 1.519047e+08 | 1.750670e+08 |  15.25%
 15.0s|     1 |     0 |  8970 |     - | 101M|   0 |1320 |4191 |4788 |4191 |5395 | 692 |   0 |   0 | 1.523059e+08 | 1.750670e+08 |  14.94%
 15.1s|     1 |     0 |  8987 |     - | 101M|   0 |1328 |4191 |4788 |4191 |5392 | 697 |   0 |   0 | 1.524183e+08 | 1.750670e+08 |  14.86%
 15.2s|     1 |     0 |  8994 |     - | 101M|   0 |1329 |4191 |4788 |4191 |5396 | 701 |   0 |   0 | 1.525279e+08 | 1.750670e+08 |  14.78%
 15.2s|     1 |     0 |  9005 |     - | 101M|   0 |1328 |4191 |4788 |4191 |5400 | 705 |   0 |   0 | 1.527457e+08 | 1.750670e+08 |  14.61%
 time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
 15.3s|     1 |     0 |  9016 |     - | 101M|   0 |1329 |4191 |4788 |4191 |5405 | 710 |   0 |   0 | 1.529144e+08 | 1.750670e+08 |  14.49%
 15.4s|     1 |     0 |  9024 |     - | 101M|   0 |1323 |4191 |4788 |4191 |5409 | 714 |   0 |   0 | 1.532143e+08 | 1.750670e+08 |  14.26%
 15.5s|     1 |     0 |  9062 |     - | 101M|   0 |1329 |4191 |4788 |4191 |5414 | 719 |   0 |   0 | 1.534176e+08 | 1.750670e+08 |  14.11%
 15.6s|     1 |     0 |  9079 |     - | 101M|   0 |1325 |4191 |4788 |4191 |5411 | 723 |   0 |   0 | 1.537180e+08 | 1.750670e+08 |  13.89%
 15.7s|     1 |     0 |  9098 |     - | 101M|   0 |1328 |4191 |4788 |4191 |5416 | 728 |   0 |   0 | 1.538421e+08 | 1.750670e+08 |  13.80%
 15.8s|     1 |     0 |  9115 |     - | 101M|   0 |1323 |4191 |4788 |4191 |5422 | 734 |   0 |   0 | 1.542624e+08 | 1.750670e+08 |  13.49%
 15.8s|     1 |     0 |  9132 |     - | 101M|   0 |1208 |4191 |4788 |4191 |5426 | 738 |   0 |   0 | 1.544856e+08 | 1.750670e+08 |  13.32%
 15.9s|     1 |     0 |  9238 |     - | 101M|   0 |1278 |4191 |4788 |4191 |5431 | 743 |   0 |   0 | 1.548784e+08 | 1.750670e+08 |  13.04%
 16.0s|     1 |     0 |  9300 |     - | 101M|   0 |1207 |4191 |4788 |4191 |5441 | 753 |   0 |   0 | 1.550239e+08 | 1.750670e+08 |  12.93%
 16.1s|     1 |     0 |  9322 |     - | 101M|   0 |1111 |4191 |4788 |4191 |5442 | 760 |   0 |   0 | 1.555826e+08 | 1.750670e+08 |  12.52%
 16.1s|     1 |     0 |  9338 |     - | 101M|   0 |1197 |4191 |4788 |4191 |5448 | 766 |   0 |   0 | 1.558659e+08 | 1.750670e+08 |  12.32%
 16.2s|     1 |     0 |  9363 |     - | 101M|   0 |1195 |4191 |4788 |4191 |5453 | 771 |   0 |   0 | 1.562016e+08 | 1.750670e+08 |  12.08%
 16.3s|     1 |     0 |  9571 |     - | 101M|   0 |1192 |4191 |4788 |4191 |5459 | 777 |   0 |   0 | 1.565070e+08 | 1.750670e+08 |  11.86%
 16.3s|     1 |     0 |  9586 |     - | 101M|   0 |1188 |4191 |4788 |4191 |5467 | 785 |   0 |   0 | 1.569625e+08 | 1.750670e+08 |  11.53%
 16.3s|     1 |     0 |  9586 |     - | 101M|   0 |1188 |4191 |4788 |4191 |5464 | 785 |   0 |   0 | 1.569625e+08 | 1.750670e+08 |  11.53%
 time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
 16.4s|     1 |     0 |  9599 |     - | 101M|   0 |1191 |4191 |4785 |4191 |5470 | 791 |   0 |   0 | 1.571952e+08 | 1.750670e+08 |  11.37%
 16.5s|     1 |     0 |  9624 |     - | 101M|   0 |1187 |4191 |4785 |4191 |5464 | 798 |   0 |   0 | 1.575290e+08 | 1.750670e+08 |  11.13%
 16.5s|     1 |     0 |  9647 |     - | 101M|   0 |1184 |4191 |4785 |4191 |5471 | 805 |   0 |   0 | 1.580620e+08 | 1.750670e+08 |  10.76%
 16.6s|     1 |     0 |  9694 |     - | 101M|   0 |1187 |4191 |4785 |4191 |5478 | 812 |   0 |   0 | 1.582926e+08 | 1.750670e+08 |  10.60%
 16.6s|     1 |     0 |  9742 |     - | 101M|   0 |1192 |4191 |4785 |4191 |5485 | 819 |   0 |   0 | 1.584970e+08 | 1.750670e+08 |  10.45%
 16.7s|     1 |     0 |  9779 |     - | 101M|   0 |1193 |4191 |4785 |4191 |5491 | 825 |   0 |   0 | 1.587018e+08 | 1.750670e+08 |  10.31%
 16.8s|     1 |     0 |  9801 |     - | 101M|   0 |1191 |4191 |4785 |4191 |5497 | 831 |   0 |   0 | 1.592298e+08 | 1.750670e+08 |   9.95%
 16.8s|     1 |     0 |  9801 |     - | 101M|   0 |1191 |4191 |4785 |4191 |5494 | 831 |   0 |   0 | 1.592298e+08 | 1.750670e+08 |   9.95%
 16.9s|     1 |     0 |  9955 |     - | 101M|   0 |1207 |4191 |4782 |4191 |5486 | 837 |   0 |   0 | 1.595503e+08 | 1.750670e+08 |   9.73%
 16.9s|     1 |     0 | 10097 |     - | 101M|   0 |1206 |4191 |4782 |4191 |5491 | 842 |   0 |   0 | 1.597174e+08 | 1.750670e+08 |   9.61%
 17.0s|     1 |     0 | 10190 |     - | 101M|   0 |1205 |4191 |4782 |4191 |5499 | 850 |   0 |   0 | 1.601122e+08 | 1.750670e+08 |   9.34%
 17.1s|     1 |     0 | 10206 |     - | 101M|   0 |1202 |4191 |4782 |4191 |5505 | 856 |   0 |   0 | 1.604928e+08 | 1.750670e+08 |   9.08%
 17.2s|     1 |     0 | 10267 |     - | 101M|   0 |1129 |4191 |4782 |4191 |5511 | 862 |   0 |   0 | 1.610422e+08 | 1.750670e+08 |   8.71%
 17.2s|     1 |     0 | 10336 |     - | 101M|   0 |1176 |4191 |4782 |4191 |5518 | 869 |   0 |   0 | 1.614012e+08 | 1.750670e+08 |   8.47%
 17.3s|     1 |     0 | 10528 |     - | 101M|   0 |1052 |4191 |4782 |4191 |5501 | 875 |   0 |   0 | 1.616762e+08 | 1.750670e+08 |   8.28%
 time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
 17.4s|     1 |     0 | 10602 |     - | 101M|   0 |1099 |4191 |4782 |4191 |5504 | 878 |   0 |   0 | 1.619971e+08 | 1.750670e+08 |   8.07%
 17.4s|     1 |     0 | 10623 |     - | 101M|   0 |1102 |4191 |4782 |4191 |5512 | 886 |   0 |   0 | 1.621701e+08 | 1.750670e+08 |   7.95%
 17.5s|     1 |     0 | 10654 |     - | 101M|   0 |1147 |4191 |4782 |4191 |5519 | 893 |   0 |   0 | 1.624770e+08 | 1.750670e+08 |   7.75%
 17.6s|     1 |     0 | 10781 |     - | 101M|   0 |1160 |4191 |4782 |4191 |5525 | 899 |   0 |   0 | 1.628447e+08 | 1.750670e+08 |   7.51%
 17.6s|     1 |     0 | 10977 |     - | 101M|   0 |1038 |4191 |4782 |4191 |5532 | 906 |   0 |   0 | 1.632191e+08 | 1.750670e+08 |   7.26%
 17.7s|     1 |     0 | 10986 |     - | 101M|   0 |1033 |4191 |4782 |4191 |5500 | 909 |   0 |   0 | 1.634858e+08 | 1.750670e+08 |   7.08%
 17.8s|     1 |     0 | 11017 |     - | 101M|   0 |1064 |4191 |4782 |4191 |5503 | 912 |   0 |   0 | 1.636943e+08 | 1.750670e+08 |   6.95%
 17.8s|     1 |     0 | 11112 |     - | 101M|   0 |1090 |4191 |4782 |4191 |5510 | 919 |   0 |   0 | 1.640544e+08 | 1.750670e+08 |   6.71%
 17.9s|     1 |     0 | 11210 |     - | 101M|   0 |1015 |4191 |4782 |4191 |5527 | 936 |   0 |   0 | 1.646248e+08 | 1.750670e+08 |   6.34%
 17.9s|     1 |     0 | 11225 |     - | 101M|   0 | 777 |4191 |4782 |4191 |5533 | 942 |   0 |   0 | 1.647494e+08 | 1.750670e+08 |   6.26%
 18.0s|     1 |     0 | 11238 |     - | 101M|   0 | 786 |4191 |4782 |4191 |5542 | 951 |   0 |   0 | 1.647529e+08 | 1.750670e+08 |   6.26%
 18.0s|     1 |     0 | 11250 |     - | 101M|   0 | 786 |4191 |4782 |4191 |5520 | 957 |   0 |   0 | 1.647538e+08 | 1.750670e+08 |   6.26%
 18.1s|     1 |     0 | 11256 |     - | 101M|   0 | 788 |4191 |4782 |4191 |5526 | 963 |   0 |   0 | 1.648555e+08 | 1.750670e+08 |   6.19%
 18.1s|     1 |     0 | 11282 |     - | 101M|   0 | 790 |4191 |4782 |4191 |5533 | 970 |   0 |   0 | 1.649562e+08 | 1.750670e+08 |   6.13%
 18.1s|     1 |     0 | 11361 |     - | 101M|   0 |1053 |4191 |4782 |4191 |5540 | 977 |   0 |   0 | 1.650765e+08 | 1.750670e+08 |   6.05%
 time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
 18.2s|     1 |     0 | 11410 |     - | 101M|   0 |1134 |4191 |4782 |4191 |5546 | 983 |   0 |   0 | 1.651337e+08 | 1.750670e+08 |   6.02%
 18.3s|     1 |     0 | 11585 |     - | 101M|   0 | 792 |4191 |4782 |4191 |5553 | 990 |   0 |   0 | 1.652664e+08 | 1.750670e+08 |   5.93%
 18.3s|     1 |     0 | 11629 |     - | 101M|   0 | 796 |4191 |4782 |4191 |5544 | 997 |   0 |   0 | 1.652911e+08 | 1.750670e+08 |   5.91%
 18.4s|     1 |     0 | 11640 |     - | 101M|   0 | 796 |4191 |4782 |4191 |5550 |1003 |   0 |   0 | 1.652911e+08 | 1.750670e+08 |   5.91%
 18.4s|     1 |     0 | 11655 |     - | 101M|   0 | 798 |4191 |4782 |4191 |5555 |1008 |   0 |   0 | 1.653975e+08 | 1.750670e+08 |   5.85%
 18.4s|     1 |     0 | 11663 |     - | 101M|   0 | 800 |4191 |4782 |4191 |5561 |1014 |   0 |   0 | 1.653980e+08 | 1.750670e+08 |   5.85%
 18.4s|     1 |     0 | 11670 |     - | 101M|   0 | 800 |4191 |4782 |4191 |5567 |1020 |   0 |   0 | 1.653983e+08 | 1.750670e+08 |   5.85%
 18.5s|     1 |     0 | 11709 |     - | 101M|   0 |1014 |4191 |4782 |4191 |5574 |1027 |   0 |   0 | 1.654782e+08 | 1.750670e+08 |   5.79%
 18.6s|     1 |     0 | 11727 |     - | 101M|   0 |1026 |4191 |4782 |4191 |5573 |1039 |   0 |   0 | 1.654815e+08 | 1.750670e+08 |   5.79%
 18.6s|     1 |     0 | 11737 |     - | 101M|   0 |1031 |4191 |4782 |4191 |5579 |1045 |   0 |   0 | 1.654985e+08 | 1.750670e+08 |   5.78%
 18.6s|     1 |     0 | 11748 |     - | 101M|   0 |1035 |4191 |4782 |4191 |5585 |1051 |   0 |   0 | 1.654993e+08 | 1.750670e+08 |   5.78%
 18.7s|     1 |     0 | 11754 |     - | 101M|   0 |1040 |4191 |4782 |4191 |5590 |1056 |   0 |   0 | 1.655004e+08 | 1.750670e+08 |   5.78%
 18.8s|     1 |     0 | 11790 |     - | 101M|   0 |1139 |4191 |4782 |4191 |5596 |1062 |   0 |   0 | 1.655128e+08 | 1.750670e+08 |   5.77%
 18.8s|     1 |     0 | 11818 |     - | 101M|   0 | 808 |4191 |4782 |4191 |5602 |1068 |   0 |   0 | 1.656054e+08 | 1.750670e+08 |   5.71%
 18.9s|     1 |     0 | 11841 |     - | 101M|   0 |1044 |4191 |4782 |4191 |5607 |1083 |   0 |   0 | 1.656865e+08 | 1.750670e+08 |   5.66%
 time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
 18.9s|     1 |     0 | 11908 |     - | 101M|   0 |1044 |4191 |4782 |4191 |5612 |1088 |   0 |   0 | 1.657541e+08 | 1.750670e+08 |   5.62%
 19.0s|     1 |     0 | 11914 |     - | 101M|   0 |1047 |4191 |4782 |4191 |5617 |1093 |   0 |   0 | 1.657556e+08 | 1.750670e+08 |   5.62%
 19.0s|     1 |     0 | 11927 |     - | 101M|   0 |1052 |4191 |4782 |4191 |5625 |1101 |   0 |   0 | 1.657570e+08 | 1.750670e+08 |   5.62%
 19.1s|     1 |     0 | 11944 |     - | 101M|   0 |1062 |4191 |4782 |4191 |5633 |1109 |   0 |   0 | 1.657575e+08 | 1.750670e+08 |   5.62%
 19.1s|     1 |     0 | 11954 |     - | 101M|   0 |1071 |4191 |4782 |4191 |5640 |1116 |   0 |   0 | 1.657575e+08 | 1.750670e+08 |   5.62%
 19.2s|     1 |     0 | 11961 |     - | 101M|   0 |1072 |4191 |4782 |4191 |5638 |1123 |   0 |   0 | 1.657575e+08 | 1.750670e+08 |   5.62%
E19.4s|     1 |     0 | 12840 |     - | 102M|   0 |1072 |4191 |4782 |4191 |5638 |1123 |   0 |   0 | 1.657575e+08 | 1.724384e+08 |   4.03%
 19.4s|     1 |     0 | 12840 |     - | 102M|   0 |1072 |4191 |4334 |4191 |5638 |1123 |   0 |   0 | 1.657575e+08 | 1.724384e+08 |   4.03%
 19.4s|     1 |     0 | 12894 |     - | 102M|   0 |1213 |4191 |4334 |4191 |5644 |1129 |   0 |   0 | 1.657880e+08 | 1.724384e+08 |   4.01%
 20.0s|     1 |     2 | 12894 |     - | 102M|   0 |1213 |4191 |4334 |4191 |5644 |1129 |   0 |  17 | 1.657880e+08 | 1.724384e+08 |   4.01%
(run 1, node 1) restarting after 432 global fixings of integer variables

(restart) converted 809 cuts from the global cut pool into linear constraints

presolving:
(round 1) 432 del vars, 6 del conss, 0 add conss, 0 chg bounds, 6 chg sides, 0 chg coeffs, 0 upgd conss, 15996 impls, 2136 clqs
(round 2) 432 del vars, 6 del conss, 0 add conss, 0 chg bounds, 6 chg sides, 0 chg coeffs, 803 upgd conss, 15996 impls, 2136 clqs
presolving (3 rounds):
 432 deleted vars, 6 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 6 changed sides, 0 changed coefficients
 15996 implications, 2136 cliques
presolved problem has 3759 variables (3759 bin, 0 int, 0 impl, 0 cont) and 5137 constraints
   5137 constraints of type <setppc>
transformed objective value is always integral (scale: 1)
Presolving Time: 0.96

 time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
 20.5s|     1 |     0 | 17398 |     - | 102M|   0 |1112 |3759 |5137 |3759 |5137 |   0 |   0 |  17 | 1.657880e+08 | 1.724384e+08 |   4.01%
 20.7s|     1 |     0 | 17430 |     - | 102M|   0 |1093 |3759 |5137 |3759 |5142 |   5 |   0 |  17 | 1.659039e+08 | 1.724384e+08 |   3.94%
 21.1s|     1 |     2 | 17430 |     - | 102M|   0 |1093 |3759 |5137 |3759 |5142 |   5 |   0 |  34 | 1.659039e+08 | 1.724384e+08 |   3.94%
*21.7s|     3 |     2 | 18375 | 608.0 | 103M|   1 |   - |3759 |5137 |3759 |4992 |   5 |   0 |  78 | 1.668103e+08 | 1.697643e+08 |   1.77%
*21.8s|     5 |     1 | 18640 | 417.8 | 102M|   3 |   - |3759 |3346 |3759 |4992 |   5 |   0 |  95 | 1.668103e+08 | 1.673981e+08 |   0.35%

SCIP Status        : problem is solved [optimal solution found]
Solving Time (sec) : 21.80
Solving Nodes      : 6 (total of 7 nodes in 2 runs)
Primal Bound       : +1.67398104000000e+08 (5 solutions)
Dual Bound         : +1.67398104000000e+08
Gap                : 0.00 %

SCIP> 
written solution information to file <results1>

SCIP> 
written statistics to file <results2>

SCIP> solution status: optimal solution found
objective value:                            167398104
X[3,1]                                              1 	(obj:28755924)
X[3,2]                                              1 	(obj:28755924)
X[3,3]                                              1 	(obj:28755924)
A[3,1,1]                                            1 	(obj:15524)
A[3,1,5]                                            1 	(obj:17543)
A[3,1,7]                                            1 	(obj:15524)
A[3,1,12]                                           1 	(obj:20268)
A[3,1,15]                                           1 	(obj:20268)
A[3,1,18]                                           1 	(obj:20268)
A[3,1,20]                                           1 	(obj:17543)
A[3,1,24]                                           1 	(obj:20268)
A[3,1,26]                                           1 	(obj:17543)
A[3,1,29]                                           1 	(obj:13318)
A[3,1,35]                                           1 	(obj:13318)
A[3,1,41]                                           1 	(obj:13318)
A[3,1,50]                                           1 	(obj:12625)
A[3,1,55]                                           1 	(obj:12625)
A[3,1,60]                                           1 	(obj:12625)
A[3,1,63]                                           1 	(obj:17194)
A[3,1,70]                                           1 	(obj:12625)
A[3,1,75]                                           1 	(obj:12625)
A[3,1,78]                                           1 	(obj:17194)
A[3,1,82]                                           1 	(obj:13421)
A[3,1,87]                                           1 	(obj:13421)
A[3,1,93]                                           1 	(obj:13279)
A[3,1,103]                                          1 	(obj:12489)
A[3,1,111]                                          1 	(obj:12489)
A[3,1,118]                                          1 	(obj:7998)
A[3,1,121]                                          1 	(obj:13421)
A[3,1,125]                                          1 	(obj:13913)
A[3,1,130]                                          1 	(obj:13913)
A[3,1,135]                                          1 	(obj:13913)
A[3,1,140]                                          1 	(obj:13913)
A[3,1,148]                                          1 	(obj:7998)
A[3,1,151]                                          1 	(obj:13421)
A[3,1,155]                                          1 	(obj:13913)
A[3,1,164]                                          1 	(obj:8587)
A[3,1,175]                                          1 	(obj:8587)
A[3,1,186]                                          1 	(obj:8587)
A[3,1,196]                                          1 	(obj:19090)
A[3,1,197]                                          1 	(obj:15880)
A[3,1,202]                                          1 	(obj:17304)
A[3,1,206]                                          1 	(obj:17304)
A[3,1,212]                                          1 	(obj:19090)
A[3,1,214]                                          1 	(obj:17304)
A[3,1,217]                                          1 	(obj:15880)
A[3,1,221]                                          1 	(obj:15880)
A[3,1,225]                                          1 	(obj:15880)
A[3,1,231]                                          1 	(obj:11778)
A[3,1,239]                                          1 	(obj:11778)
A[3,1,251]                                          1 	(obj:10412)
A[3,1,253]                                          1 	(obj:13518)
A[3,1,258]                                          1 	(obj:13518)
A[3,1,263]                                          1 	(obj:13518)
A[3,1,268]                                          1 	(obj:13518)
A[3,1,276]                                          1 	(obj:10910)
A[3,1,278]                                          1 	(obj:13518)
A[3,1,286]                                          1 	(obj:10910)
A[3,1,290]                                          1 	(obj:12496)
A[3,1,296]                                          1 	(obj:10910)
A[3,1,304]                                          1 	(obj:4853)
A[3,1,312]                                          1 	(obj:6141)
A[3,1,323]                                          1 	(obj:6141)
A[3,1,331]                                          1 	(obj:17310)
A[3,1,336]                                          1 	(obj:7998)
A[3,1,339]                                          1 	(obj:17310)
A[3,1,343]                                          1 	(obj:17310)
A[3,1,347]                                          1 	(obj:17310)
A[3,1,351]                                          1 	(obj:17310)
A[3,1,356]                                          1 	(obj:7998)
A[3,1,360]                                          1 	(obj:7998)
A[3,1,365]                                          1 	(obj:15214)
A[3,1,368]                                          1 	(obj:6594)
A[3,1,379]                                          1 	(obj:8587)
A[3,1,388]                                          1 	(obj:8587)
A[3,1,395]                                          1 	(obj:13182)
A[3,1,398]                                          1 	(obj:19401)
A[3,1,402]                                          1 	(obj:19401)
A[3,1,406]                                          1 	(obj:19401)
A[3,1,413]                                          1 	(obj:20779)
A[3,1,415]                                          1 	(obj:13182)
A[3,1,421]                                          1 	(obj:20779)
A[3,1,422]                                          1 	(obj:19401)
A[3,1,426]                                          1 	(obj:19401)
A[3,1,432]                                          1 	(obj:12541)
A[3,1,438]                                          1 	(obj:12541)
A[3,1,447]                                          1 	(obj:9564)
A[3,1,450]                                          1 	(obj:17194)
A[3,1,454]                                          1 	(obj:13421)
A[3,1,459]                                          1 	(obj:13421)
A[3,1,464]                                          1 	(obj:13421)
A[3,1,470]                                          1 	(obj:17194)
A[3,1,475]                                          1 	(obj:17194)
A[3,1,480]                                          1 	(obj:17194)
A[3,1,485]                                          1 	(obj:17194)
A[3,1,490]                                          1 	(obj:17194)
A[3,1,500]                                          1 	(obj:7474)
A[3,1,510]                                          1 	(obj:7474)
A[3,1,515]                                          1 	(obj:6141)
A[3,1,522]                                          1 	(obj:17712)
A[3,1,527]                                          1 	(obj:13208)
A[3,1,531]                                          1 	(obj:13208)
A[3,1,534]                                          1 	(obj:17712)
A[3,1,540]                                          1 	(obj:14780)
A[3,1,542]                                          1 	(obj:17712)
A[3,1,546]                                          1 	(obj:17712)
A[3,1,552]                                          1 	(obj:14780)
A[3,1,554]                                          1 	(obj:17712)
A[3,1,561]                                          1 	(obj:8587)
A[3,1,570]                                          1 	(obj:8587)
A[3,1,579]                                          1 	(obj:8587)
A[3,1,585]                                          1 	(obj:17712)
A[3,1,589]                                          1 	(obj:17712)
A[3,1,593]                                          1 	(obj:17712)
A[3,1,599]                                          1 	(obj:14780)
A[3,1,603]                                          1 	(obj:14780)
A[3,1,606]                                          1 	(obj:13208)
A[3,1,609]                                          1 	(obj:17712)
A[3,1,613]                                          1 	(obj:17712)
A[3,1,619]                                          1 	(obj:14780)
A[3,1,624]                                          1 	(obj:8587)
A[3,1,633]                                          1 	(obj:8587)
A[3,1,642]                                          1 	(obj:8587)
A[3,1,650]                                          1 	(obj:20268)
A[3,1,652]                                          1 	(obj:17543)
A[3,1,656]                                          1 	(obj:20268)
A[3,1,659]                                          1 	(obj:20268)
A[3,1,661]                                          1 	(obj:17543)
A[3,1,665]                                          1 	(obj:20268)
A[3,1,668]                                          1 	(obj:20268)
A[3,1,670]                                          1 	(obj:17543)
A[3,1,673]                                          1 	(obj:17543)
A[3,1,675]                                          1 	(obj:9687)
A[3,1,681]                                          1 	(obj:9687)
A[3,1,689]                                          1 	(obj:15414)
A[3,1,695]                                          1 	(obj:17194)
A[3,1,700]                                          1 	(obj:17194)
A[3,1,705]                                          1 	(obj:17194)
A[3,1,712]                                          1 	(obj:12625)
A[3,1,715]                                          1 	(obj:17194)
A[3,1,722]                                          1 	(obj:12625)
A[3,1,725]                                          1 	(obj:17194)
A[3,1,730]                                          1 	(obj:17194)
A[3,1,734]                                          1 	(obj:13421)
A[3,1,745]                                          1 	(obj:7474)
A[3,1,755]                                          1 	(obj:7474)
A[3,1,764]                                          1 	(obj:5947)
A[3,2,3]                                            1 	(obj:20268)
A[3,2,6]                                            1 	(obj:20268)
A[3,2,8]                                            1 	(obj:17543)
A[3,2,10]                                           1 	(obj:15524)
A[3,2,13]                                           1 	(obj:15524)
A[3,2,17]                                           1 	(obj:17543)
A[3,2,21]                                           1 	(obj:20268)
A[3,2,23]                                           1 	(obj:17543)
A[3,2,27]                                           1 	(obj:20268)
A[3,2,33]                                           1 	(obj:9707)
A[3,2,39]                                           1 	(obj:9707)
A[3,2,45]                                           1 	(obj:9707)
A[3,2,48]                                           1 	(obj:17194)
A[3,2,53]                                           1 	(obj:17194)
A[3,2,58]                                           1 	(obj:17194)
A[3,2,65]                                           1 	(obj:12625)
A[3,2,68]                                           1 	(obj:17194)
A[3,2,73]                                           1 	(obj:17194)
A[3,2,80]                                           1 	(obj:12625)
A[3,2,83]                                           1 	(obj:17194)
A[3,2,88]                                           1 	(obj:17194)
A[3,2,97]                                           1 	(obj:9564)
A[3,2,105]                                          1 	(obj:9564)
A[3,2,109]                                          1 	(obj:13279)
A[3,2,115]                                          1 	(obj:13913)
A[3,2,120]                                          1 	(obj:13913)
A[3,2,128]                                          1 	(obj:7998)
A[3,2,131]                                          1 	(obj:13421)
A[3,2,138]                                          1 	(obj:7998)
A[3,2,143]                                          1 	(obj:7998)
A[3,2,145]                                          1 	(obj:13913)
A[3,2,150]                                          1 	(obj:13913)
A[3,2,156]                                          1 	(obj:13421)
A[3,2,163]                                          1 	(obj:6141)
A[3,2,174]                                          1 	(obj:6141)
A[3,2,182]                                          1 	(obj:4840)
A[3,2,193]                                          1 	(obj:15880)
A[3,2,200]                                          1 	(obj:19090)
A[3,2,204]                                          1 	(obj:19090)
A[3,2,205]                                          1 	(obj:15880)
A[3,2,210]                                          1 	(obj:17304)
A[3,2,216]                                          1 	(obj:19090)
A[3,2,220]                                          1 	(obj:19090)
A[3,2,224]                                          1 	(obj:19090)
A[3,2,228]                                          1 	(obj:19090)
A[3,2,235]                                          1 	(obj:10412)
A[3,2,238]                                          1 	(obj:7520)
A[3,2,247]                                          1 	(obj:11778)
A[3,2,256]                                          1 	(obj:10910)
A[3,2,261]                                          1 	(obj:10910)
A[3,2,266]                                          1 	(obj:10910)
A[3,2,271]                                          1 	(obj:10910)
A[3,2,273]                                          1 	(obj:13518)
A[3,2,281]                                          1 	(obj:10910)
A[3,2,283]                                          1 	(obj:13518)
A[3,2,288]                                          1 	(obj:13518)
A[3,2,293]                                          1 	(obj:13518)
A[3,2,301]                                          1 	(obj:6141)
A[3,2,315]                                          1 	(obj:4853)
A[3,2,326]                                          1 	(obj:4853)
A[3,2,332]                                          1 	(obj:7998)
A[3,2,337]                                          1 	(obj:15214)
A[3,2,341]                                          1 	(obj:15214)
A[3,2,345]                                          1 	(obj:15214)
A[3,2,348]                                          1 	(obj:7998)
A[3,2,352]                                          1 	(obj:7998)
A[3,2,355]                                          1 	(obj:17310)
A[3,2,359]                                          1 	(obj:17310)
A[3,2,363]                                          1 	(obj:17310)
A[3,2,370]                                          1 	(obj:8587)
A[3,2,383]                                          1 	(obj:7474)
A[3,2,386]                                          1 	(obj:6594)
A[3,2,397]                                          1 	(obj:20779)
A[3,2,399]                                          1 	(obj:13182)
A[3,2,405]                                          1 	(obj:20779)
A[3,2,407]                                          1 	(obj:13182)
A[3,2,410]                                          1 	(obj:19401)
A[3,2,417]                                          1 	(obj:20779)
A[3,2,419]                                          1 	(obj:13182)
A[3,2,425]                                          1 	(obj:20779)
A[3,2,429]                                          1 	(obj:20779)
A[3,2,434]                                          1 	(obj:10412)
A[3,2,441]                                          1 	(obj:9564)
A[3,2,444]                                          1 	(obj:12541)
A[3,2,449]                                          1 	(obj:13421)
A[3,2,457]                                          1 	(obj:12625)
A[3,2,460]                                          1 	(obj:17194)
A[3,2,465]                                          1 	(obj:17194)
A[3,2,469]                                          1 	(obj:13421)
A[3,2,477]                                          1 	(obj:12625)
A[3,2,479]                                          1 	(obj:13421)
A[3,2,484]                                          1 	(obj:13421)
A[3,2,492]                                          1 	(obj:12625)
A[3,2,499]                                          1 	(obj:5947)
A[3,2,509]                                          1 	(obj:5947)
A[3,2,520]                                          1 	(obj:7474)
A[3,2,523]                                          1 	(obj:13208)
A[3,2,526]                                          1 	(obj:17712)
A[3,2,532]                                          1 	(obj:14780)
A[3,2,536]                                          1 	(obj:14780)
A[3,2,539]                                          1 	(obj:13208)
A[3,2,543]                                          1 	(obj:13208)
A[3,2,548]                                          1 	(obj:14780)
A[3,2,550]                                          1 	(obj:17712)
A[3,2,556]                                          1 	(obj:14780)
A[3,2,565]                                          1 	(obj:7474)
A[3,2,568]                                          1 	(obj:6594)
A[3,2,577]                                          1 	(obj:6594)
A[3,2,587]                                          1 	(obj:14780)
A[3,2,591]                                          1 	(obj:14780)
A[3,2,594]                                          1 	(obj:13208)
A[3,2,598]                                          1 	(obj:13208)
A[3,2,601]                                          1 	(obj:17712)
A[3,2,605]                                          1 	(obj:17712)
A[3,2,610]                                          1 	(obj:13208)
A[3,2,615]                                          1 	(obj:14780)
A[3,2,617]                                          1 	(obj:17712)
A[3,2,628]                                          1 	(obj:7474)
A[3,2,637]                                          1 	(obj:7474)
A[3,2,646]                                          1 	(obj:7474)
A[3,2,648]                                          1 	(obj:15524)
A[3,2,651]                                          1 	(obj:15524)
A[3,2,654]                                          1 	(obj:15524)
A[3,2,657]                                          1 	(obj:15524)
A[3,2,660]                                          1 	(obj:15524)
A[3,2,663]                                          1 	(obj:15524)
A[3,2,666]                                          1 	(obj:15524)
A[3,2,671]                                          1 	(obj:20268)
A[3,2,672]                                          1 	(obj:15524)
A[3,2,677]                                          1 	(obj:15414)
A[3,2,683]                                          1 	(obj:15414)
A[3,2,690]                                          1 	(obj:12496)
A[3,2,694]                                          1 	(obj:13421)
A[3,2,699]                                          1 	(obj:13421)
A[3,2,707]                                          1 	(obj:12625)
A[3,2,710]                                          1 	(obj:17194)
A[3,2,717]                                          1 	(obj:12625)
A[3,2,720]                                          1 	(obj:17194)
A[3,2,727]                                          1 	(obj:12625)
A[3,2,729]                                          1 	(obj:13421)
A[3,2,737]                                          1 	(obj:12625)
A[3,2,744]                                          1 	(obj:5947)
A[3,2,754]                                          1 	(obj:5947)
A[3,2,760]                                          1 	(obj:6141)
A[3,3,2]                                            1 	(obj:17543)
A[3,3,4]                                            1 	(obj:15524)
A[3,3,9]                                            1 	(obj:20268)
A[3,3,11]                                           1 	(obj:17543)
A[3,3,14]                                           1 	(obj:17543)
A[3,3,16]                                           1 	(obj:15524)
A[3,3,19]                                           1 	(obj:15524)
A[3,3,22]                                           1 	(obj:15524)
A[3,3,25]                                           1 	(obj:15524)
A[3,3,30]                                           1 	(obj:12496)
A[3,3,36]                                           1 	(obj:12496)
A[3,3,42]                                           1 	(obj:12496)
A[3,3,47]                                           1 	(obj:13421)
A[3,3,52]                                           1 	(obj:13421)
A[3,3,57]                                           1 	(obj:13421)
A[3,3,62]                                           1 	(obj:13421)
A[3,3,67]                                           1 	(obj:13421)
A[3,3,72]                                           1 	(obj:13421)
A[3,3,77]                                           1 	(obj:13421)
A[3,3,85]                                           1 	(obj:12625)
A[3,3,90]                                           1 	(obj:12625)
A[3,3,95]                                           1 	(obj:12489)
A[3,3,101]                                          1 	(obj:13279)
A[3,3,113]                                          1 	(obj:9564)
A[3,3,116]                                          1 	(obj:13421)
A[3,3,123]                                          1 	(obj:7998)
A[3,3,126]                                          1 	(obj:13421)
A[3,3,133]                                          1 	(obj:7998)
A[3,3,136]                                          1 	(obj:13421)
A[3,3,141]                                          1 	(obj:13421)
A[3,3,146]                                          1 	(obj:13421)
A[3,3,153]                                          1 	(obj:7998)
A[3,3,158]                                          1 	(obj:7998)
A[3,3,160]                                          1 	(obj:4840)
A[3,3,171]                                          1 	(obj:4840)
A[3,3,185]                                          1 	(obj:6141)
A[3,3,194]                                          1 	(obj:17304)
A[3,3,198]                                          1 	(obj:17304)
A[3,3,201]                                          1 	(obj:15880)
A[3,3,208]                                          1 	(obj:19090)
A[3,3,209]                                          1 	(obj:15880)
A[3,3,213]                                          1 	(obj:15880)
A[3,3,218]                                          1 	(obj:17304)
A[3,3,222]                                          1 	(obj:17304)
A[3,3,226]                                          1 	(obj:17304)
A[3,3,230]                                          1 	(obj:7520)
A[3,3,243]                                          1 	(obj:10412)
A[3,3,246]                                          1 	(obj:7520)
A[3,3,255]                                          1 	(obj:12496)
A[3,3,260]                                          1 	(obj:12496)
A[3,3,265]                                          1 	(obj:12496)
A[3,3,270]                                          1 	(obj:12496)
A[3,3,275]                                          1 	(obj:12496)
A[3,3,280]                                          1 	(obj:12496)
A[3,3,285]                                          1 	(obj:12496)
A[3,3,291]                                          1 	(obj:10910)
A[3,3,295]                                          1 	(obj:12496)
A[3,3,298]                                          1 	(obj:4840)
A[3,3,309]                                          1 	(obj:4840)
A[3,3,320]                                          1 	(obj:4840)
A[3,3,333]                                          1 	(obj:15214)
A[3,3,335]                                          1 	(obj:17310)
A[3,3,340]                                          1 	(obj:7998)
A[3,3,344]                                          1 	(obj:7998)
A[3,3,349]                                          1 	(obj:15214)
A[3,3,353]                                          1 	(obj:15214)
A[3,3,357]                                          1 	(obj:15214)
A[3,3,361]                                          1 	(obj:15214)
A[3,3,364]                                          1 	(obj:7998)
A[3,3,374]                                          1 	(obj:7474)
A[3,3,377]                                          1 	(obj:6594)
A[3,3,392]                                          1 	(obj:7474)
A[3,3,394]                                          1 	(obj:19401)
A[3,3,401]                                          1 	(obj:20779)
A[3,3,403]                                          1 	(obj:13182)
A[3,3,409]                                          1 	(obj:20779)
A[3,3,411]                                          1 	(obj:13182)
A[3,3,414]                                          1 	(obj:19401)
A[3,3,418]                                          1 	(obj:19401)
A[3,3,423]                                          1 	(obj:13182)
A[3,3,427]                                          1 	(obj:13182)
A[3,3,435]                                          1 	(obj:9564)
A[3,3,440]                                          1 	(obj:10412)
A[3,3,446]                                          1 	(obj:10412)
A[3,3,452]                                          1 	(obj:12625)
A[3,3,455]                                          1 	(obj:17194)
A[3,3,462]                                          1 	(obj:12625)
A[3,3,467]                                          1 	(obj:12625)
A[3,3,472]                                          1 	(obj:12625)
A[3,3,474]                                          1 	(obj:13421)
A[3,3,482]                                          1 	(obj:12625)
A[3,3,487]                                          1 	(obj:12625)
A[3,3,489]                                          1 	(obj:13421)
A[3,3,495]                                          1 	(obj:6141)
A[3,3,505]                                          1 	(obj:6141)
A[3,3,519]                                          1 	(obj:5947)
A[3,3,524]                                          1 	(obj:14780)
A[3,3,528]                                          1 	(obj:14780)
A[3,3,530]                                          1 	(obj:17712)
A[3,3,535]                                          1 	(obj:13208)
A[3,3,538]                                          1 	(obj:17712)
A[3,3,544]                                          1 	(obj:14780)
A[3,3,547]                                          1 	(obj:13208)
A[3,3,551]                                          1 	(obj:13208)
A[3,3,555]                                          1 	(obj:13208)
A[3,3,559]                                          1 	(obj:6594)
A[3,3,574]                                          1 	(obj:7474)
A[3,3,583]                                          1 	(obj:7474)
A[3,3,586]                                          1 	(obj:13208)
A[3,3,590]                                          1 	(obj:13208)
A[3,3,595]                                          1 	(obj:14780)
A[3,3,597]                                          1 	(obj:17712)
A[3,3,602]                                          1 	(obj:13208)
A[3,3,607]                                          1 	(obj:14780)
A[3,3,611]                                          1 	(obj:14780)
A[3,3,614]                                          1 	(obj:13208)
A[3,3,618]                                          1 	(obj:13208)
A[3,3,622]                                          1 	(obj:6594)
A[3,3,631]                                          1 	(obj:6594)
A[3,3,640]                                          1 	(obj:6594)
A[3,3,649]                                          1 	(obj:17543)
A[3,3,653]                                          1 	(obj:20268)
A[3,3,655]                                          1 	(obj:17543)
A[3,3,658]                                          1 	(obj:17543)
A[3,3,662]                                          1 	(obj:20268)
A[3,3,664]                                          1 	(obj:17543)
A[3,3,667]                                          1 	(obj:17543)
A[3,3,669]                                          1 	(obj:15524)
A[3,3,674]                                          1 	(obj:20268)
A[3,3,678]                                          1 	(obj:12496)
A[3,3,684]                                          1 	(obj:12496)
A[3,3,687]                                          1 	(obj:9687)
A[3,3,697]                                          1 	(obj:12625)
A[3,3,702]                                          1 	(obj:12625)
A[3,3,704]                                          1 	(obj:13421)
A[3,3,709]                                          1 	(obj:13421)
A[3,3,714]                                          1 	(obj:13421)
A[3,3,719]                                          1 	(obj:13421)
A[3,3,724]                                          1 	(obj:13421)
A[3,3,732]                                          1 	(obj:12625)
A[3,3,735]                                          1 	(obj:17194)
A[3,3,740]                                          1 	(obj:6141)
A[3,3,750]                                          1 	(obj:6141)
A[3,3,765]                                          1 	(obj:7474)
B[1,1,32]                                           1 	(obj:190800)
B[1,1,38]                                           1 	(obj:190800)
B[1,1,44]                                           1 	(obj:190800)
B[1,1,49]                                           1 	(obj:159000)
B[1,1,54]                                           1 	(obj:159000)
B[1,1,59]                                           1 	(obj:159000)
B[1,1,64]                                           1 	(obj:159000)
B[1,1,69]                                           1 	(obj:159000)
B[1,1,74]                                           1 	(obj:159000)
B[1,1,79]                                           1 	(obj:159000)
B[1,1,84]                                           1 	(obj:159000)
B[1,1,89]                                           1 	(obj:159000)
B[1,1,91]                                           1 	(obj:190800)
B[1,1,96]                                           1 	(obj:190800)
B[1,1,99]                                           1 	(obj:190800)
B[1,1,104]                                          1 	(obj:190800)
B[1,1,107]                                          1 	(obj:190800)
B[1,1,112]                                          1 	(obj:190800)
B[1,1,168]                                          1 	(obj:190800)
B[1,1,179]                                          1 	(obj:190800)
B[1,1,190]                                          1 	(obj:190800)
B[1,1,195]                                          1 	(obj:159000)
B[1,1,199]                                          1 	(obj:159000)
B[1,1,203]                                          1 	(obj:159000)
B[1,1,207]                                          1 	(obj:159000)
B[1,1,211]                                          1 	(obj:159000)
B[1,1,215]                                          1 	(obj:159000)
B[1,1,219]                                          1 	(obj:159000)
B[1,1,223]                                          1 	(obj:159000)
B[1,1,227]                                          1 	(obj:159000)
B[1,1,229]                                          1 	(obj:190800)
B[1,1,237]                                          1 	(obj:190800)
B[1,1,245]                                          1 	(obj:190800)
B[1,1,396]                                          1 	(obj:159000)
B[1,1,400]                                          1 	(obj:159000)
B[1,1,404]                                          1 	(obj:159000)
B[1,1,408]                                          1 	(obj:159000)
B[1,1,412]                                          1 	(obj:159000)
B[1,1,416]                                          1 	(obj:159000)
B[1,1,420]                                          1 	(obj:159000)
B[1,1,424]                                          1 	(obj:159000)
B[1,1,428]                                          1 	(obj:159000)
B[1,1,451]                                          1 	(obj:159000)
B[1,1,456]                                          1 	(obj:159000)
B[1,1,461]                                          1 	(obj:159000)
B[1,1,466]                                          1 	(obj:159000)
B[1,1,471]                                          1 	(obj:159000)
B[2,1,94]                                           1 	(obj:220416)
B[2,1,102]                                          1 	(obj:220416)
B[2,1,110]                                          1 	(obj:220416)
B[2,1,367]                                          1 	(obj:220416)
B[2,1,376]                                          1 	(obj:220416)
B[2,1,385]                                          1 	(obj:220416)
B[2,1,558]                                          1 	(obj:220416)
B[2,1,567]                                          1 	(obj:220416)
B[2,1,576]                                          1 	(obj:220416)
B[2,1,621]                                          1 	(obj:220416)
B[2,1,630]                                          1 	(obj:220416)
B[2,1,639]                                          1 	(obj:220416)
B[3,1,28]                                           1 	(obj:264000)
B[3,1,31]                                           1 	(obj:264000)
B[3,1,34]                                           1 	(obj:264000)
B[3,1,37]                                           1 	(obj:264000)
B[3,1,40]                                           1 	(obj:264000)
B[3,1,43]                                           1 	(obj:264000)
B[3,1,46]                                           1 	(obj:220000)
B[3,1,51]                                           1 	(obj:220000)
B[3,1,56]                                           1 	(obj:220000)
B[3,1,61]                                           1 	(obj:220000)
B[3,1,66]                                           1 	(obj:220000)
B[3,1,71]                                           1 	(obj:220000)
B[3,1,76]                                           1 	(obj:220000)
B[3,1,81]                                           1 	(obj:220000)
B[3,1,86]                                           1 	(obj:220000)
B[3,1,92]                                           1 	(obj:264000)
B[3,1,98]                                           1 	(obj:264000)
B[3,1,100]                                          1 	(obj:264000)
B[3,1,106]                                          1 	(obj:264000)
B[3,1,108]                                          1 	(obj:264000)
B[3,1,114]                                          1 	(obj:264000)
B[3,1,117]                                          1 	(obj:220000)
B[3,1,119]                                          1 	(obj:220000)
B[3,1,122]                                          1 	(obj:220000)
B[3,1,124]                                          1 	(obj:220000)
B[3,1,127]                                          1 	(obj:220000)
B[3,1,129]                                          1 	(obj:220000)
B[3,1,132]                                          1 	(obj:220000)
B[3,1,134]                                          1 	(obj:220000)
B[3,1,137]                                          1 	(obj:220000)
B[3,1,139]                                          1 	(obj:220000)
B[3,1,142]                                          1 	(obj:220000)
B[3,1,144]                                          1 	(obj:220000)
B[3,1,147]                                          1 	(obj:220000)
B[3,1,149]                                          1 	(obj:220000)
B[3,1,152]                                          1 	(obj:220000)
B[3,1,154]                                          1 	(obj:220000)
B[3,1,157]                                          1 	(obj:220000)
B[3,1,159]                                          1 	(obj:220000)
B[3,1,161]                                          1 	(obj:264000)
B[3,1,162]                                          1 	(obj:264000)
B[3,1,165]                                          1 	(obj:264000)
B[3,1,166]                                          1 	(obj:264000)
B[3,1,167]                                          1 	(obj:264000)
B[3,1,169]                                          1 	(obj:264000)
B[3,1,170]                                          1 	(obj:264000)
B[3,1,172]                                          1 	(obj:264000)
B[3,1,173]                                          1 	(obj:264000)
B[3,1,176]                                          1 	(obj:264000)
B[3,1,177]                                          1 	(obj:264000)
B[3,1,178]                                          1 	(obj:264000)
B[3,1,180]                                          1 	(obj:264000)
B[3,1,181]                                          1 	(obj:264000)
B[3,1,183]                                          1 	(obj:264000)
B[3,1,184]                                          1 	(obj:264000)
B[3,1,187]                                          1 	(obj:264000)
B[3,1,188]                                          1 	(obj:264000)
B[3,1,189]                                          1 	(obj:264000)
B[3,1,191]                                          1 	(obj:264000)
B[3,1,192]                                          1 	(obj:264000)
B[3,1,232]                                          1 	(obj:264000)
B[3,1,233]                                          1 	(obj:264000)
B[3,1,234]                                          1 	(obj:264000)
B[3,1,236]                                          1 	(obj:264000)
B[3,1,240]                                          1 	(obj:264000)
B[3,1,241]                                          1 	(obj:264000)
B[3,1,242]                                          1 	(obj:264000)
B[3,1,244]                                          1 	(obj:264000)
B[3,1,248]                                          1 	(obj:264000)
B[3,1,249]                                          1 	(obj:264000)
B[3,1,250]                                          1 	(obj:264000)
B[3,1,252]                                          1 	(obj:264000)
B[3,1,254]                                          1 	(obj:220000)
B[3,1,257]                                          1 	(obj:220000)
B[3,1,259]                                          1 	(obj:220000)
B[3,1,262]                                          1 	(obj:220000)
B[3,1,264]                                          1 	(obj:220000)
B[3,1,267]                                          1 	(obj:220000)
B[3,1,269]                                          1 	(obj:220000)
B[3,1,272]                                          1 	(obj:220000)
B[3,1,274]                                          1 	(obj:220000)
B[3,1,277]                                          1 	(obj:220000)
B[3,1,279]                                          1 	(obj:220000)
B[3,1,282]                                          1 	(obj:220000)
B[3,1,284]                                          1 	(obj:220000)
B[3,1,287]                                          1 	(obj:220000)
B[3,1,289]                                          1 	(obj:220000)
B[3,1,292]                                          1 	(obj:220000)
B[3,1,294]                                          1 	(obj:220000)
B[3,1,297]                                          1 	(obj:220000)
B[3,1,299]                                          1 	(obj:264000)
B[3,1,300]                                          1 	(obj:264000)
B[3,1,302]                                          1 	(obj:264000)
B[3,1,303]                                          1 	(obj:264000)
B[3,1,305]                                          1 	(obj:264000)
B[3,1,306]                                          1 	(obj:264000)
B[3,1,307]                                          1 	(obj:264000)
B[3,1,308]                                          1 	(obj:264000)
B[3,1,310]                                          1 	(obj:264000)
B[3,1,311]                                          1 	(obj:264000)
B[3,1,313]                                          1 	(obj:264000)
B[3,1,314]                                          1 	(obj:264000)
B[3,1,316]                                          1 	(obj:264000)
B[3,1,317]                                          1 	(obj:264000)
B[3,1,318]                                          1 	(obj:264000)
B[3,1,319]                                          1 	(obj:264000)
B[3,1,321]                                          1 	(obj:264000)
B[3,1,322]                                          1 	(obj:264000)
B[3,1,324]                                          1 	(obj:264000)
B[3,1,325]                                          1 	(obj:264000)
B[3,1,327]                                          1 	(obj:264000)
B[3,1,328]                                          1 	(obj:264000)
B[3,1,329]                                          1 	(obj:264000)
B[3,1,330]                                          1 	(obj:264000)
B[3,1,334]                                          1 	(obj:220000)
B[3,1,338]                                          1 	(obj:220000)
B[3,1,342]                                          1 	(obj:220000)
B[3,1,346]                                          1 	(obj:220000)
B[3,1,350]                                          1 	(obj:220000)
B[3,1,354]                                          1 	(obj:220000)
B[3,1,358]                                          1 	(obj:220000)
B[3,1,362]                                          1 	(obj:220000)
B[3,1,366]                                          1 	(obj:220000)
B[3,1,369]                                          1 	(obj:264000)
B[3,1,371]                                          1 	(obj:264000)
B[3,1,372]                                          1 	(obj:264000)
B[3,1,373]                                          1 	(obj:264000)
B[3,1,375]                                          1 	(obj:264000)
B[3,1,378]                                          1 	(obj:264000)
B[3,1,380]                                          1 	(obj:264000)
B[3,1,381]                                          1 	(obj:264000)
B[3,1,382]                                          1 	(obj:264000)
B[3,1,384]                                          1 	(obj:264000)
B[3,1,387]                                          1 	(obj:264000)
B[3,1,389]                                          1 	(obj:264000)
B[3,1,390]                                          1 	(obj:264000)
B[3,1,391]                                          1 	(obj:264000)
B[3,1,393]                                          1 	(obj:264000)
B[3,1,430]                                          1 	(obj:264000)
B[3,1,431]                                          1 	(obj:264000)
B[3,1,433]                                          1 	(obj:264000)
B[3,1,436]                                          1 	(obj:264000)
B[3,1,437]                                          1 	(obj:264000)
B[3,1,439]                                          1 	(obj:264000)
B[3,1,442]                                          1 	(obj:264000)
B[3,1,443]                                          1 	(obj:264000)
B[3,1,445]                                          1 	(obj:264000)
B[3,1,448]                                          1 	(obj:220000)
B[3,1,453]                                          1 	(obj:220000)
B[3,1,458]                                          1 	(obj:220000)
B[3,1,463]                                          1 	(obj:220000)
B[3,1,468]                                          1 	(obj:220000)
B[3,1,473]                                          1 	(obj:220000)
B[3,1,478]                                          1 	(obj:220000)
B[3,1,483]                                          1 	(obj:220000)
B[3,1,488]                                          1 	(obj:220000)
B[3,1,493]                                          1 	(obj:264000)
B[3,1,494]                                          1 	(obj:264000)
B[3,1,496]                                          1 	(obj:264000)
B[3,1,497]                                          1 	(obj:264000)
B[3,1,498]                                          1 	(obj:264000)
B[3,1,501]                                          1 	(obj:264000)
B[3,1,502]                                          1 	(obj:264000)
B[3,1,503]                                          1 	(obj:264000)
B[3,1,504]                                          1 	(obj:264000)
B[3,1,506]                                          1 	(obj:264000)
B[3,1,507]                                          1 	(obj:264000)
B[3,1,508]                                          1 	(obj:264000)
B[3,1,511]                                          1 	(obj:264000)
B[3,1,512]                                          1 	(obj:264000)
B[3,1,513]                                          1 	(obj:264000)
B[3,1,514]                                          1 	(obj:264000)
B[3,1,516]                                          1 	(obj:264000)
B[3,1,517]                                          1 	(obj:264000)
B[3,1,518]                                          1 	(obj:264000)
B[3,1,521]                                          1 	(obj:264000)
B[3,1,525]                                          1 	(obj:220000)
B[3,1,529]                                          1 	(obj:220000)
B[3,1,533]                                          1 	(obj:220000)
B[3,1,537]                                          1 	(obj:220000)
B[3,1,541]                                          1 	(obj:220000)
B[3,1,545]                                          1 	(obj:220000)
B[3,1,549]                                          1 	(obj:220000)
B[3,1,553]                                          1 	(obj:220000)
B[3,1,557]                                          1 	(obj:220000)
B[3,1,560]                                          1 	(obj:264000)
B[3,1,562]                                          1 	(obj:264000)
B[3,1,563]                                          1 	(obj:264000)
B[3,1,564]                                          1 	(obj:264000)
B[3,1,566]                                          1 	(obj:264000)
B[3,1,569]                                          1 	(obj:264000)
B[3,1,571]                                          1 	(obj:264000)
B[3,1,572]                                          1 	(obj:264000)
B[3,1,573]                                          1 	(obj:264000)
B[3,1,575]                                          1 	(obj:264000)
B[3,1,578]                                          1 	(obj:264000)
B[3,1,580]                                          1 	(obj:264000)
B[3,1,581]                                          1 	(obj:264000)
B[3,1,582]                                          1 	(obj:264000)
B[3,1,584]                                          1 	(obj:264000)
B[3,1,588]                                          1 	(obj:220000)
B[3,1,592]                                          1 	(obj:220000)
B[3,1,596]                                          1 	(obj:220000)
B[3,1,600]                                          1 	(obj:220000)
B[3,1,604]                                          1 	(obj:220000)
B[3,1,608]                                          1 	(obj:220000)
B[3,1,612]                                          1 	(obj:220000)
B[3,1,616]                                          1 	(obj:220000)
B[3,1,620]                                          1 	(obj:220000)
B[3,1,623]                                          1 	(obj:264000)
B[3,1,625]                                          1 	(obj:264000)
B[3,1,626]                                          1 	(obj:264000)
B[3,1,627]                                          1 	(obj:264000)
B[3,1,629]                                          1 	(obj:264000)
B[3,1,632]                                          1 	(obj:264000)
B[3,1,634]                                          1 	(obj:264000)
B[3,1,635]                                          1 	(obj:264000)
B[3,1,636]                                          1 	(obj:264000)
B[3,1,638]                                          1 	(obj:264000)
B[3,1,641]                                          1 	(obj:264000)
B[3,1,643]                                          1 	(obj:264000)
B[3,1,644]                                          1 	(obj:264000)
B[3,1,645]                                          1 	(obj:264000)
B[3,1,647]                                          1 	(obj:264000)
B[3,1,676]                                          1 	(obj:264000)
B[3,1,679]                                          1 	(obj:264000)
B[3,1,682]                                          1 	(obj:264000)
B[3,1,685]                                          1 	(obj:264000)
B[3,1,688]                                          1 	(obj:264000)
B[3,1,691]                                          1 	(obj:264000)
B[3,1,693]                                          1 	(obj:220000)
B[3,1,698]                                          1 	(obj:220000)
B[3,1,703]                                          1 	(obj:220000)
B[3,1,708]                                          1 	(obj:220000)
B[3,1,713]                                          1 	(obj:220000)
B[3,1,718]                                          1 	(obj:220000)
B[3,1,723]                                          1 	(obj:220000)
B[3,1,728]                                          1 	(obj:220000)
B[3,1,733]                                          1 	(obj:220000)
B[3,1,738]                                          1 	(obj:264000)
B[3,1,739]                                          1 	(obj:264000)
B[3,1,741]                                          1 	(obj:264000)
B[3,1,742]                                          1 	(obj:264000)
B[3,1,743]                                          1 	(obj:264000)
B[3,1,746]                                          1 	(obj:264000)
B[3,1,747]                                          1 	(obj:264000)
B[3,1,748]                                          1 	(obj:264000)
B[3,1,749]                                          1 	(obj:264000)
B[3,1,751]                                          1 	(obj:264000)
B[3,1,752]                                          1 	(obj:264000)
B[3,1,753]                                          1 	(obj:264000)
B[3,1,756]                                          1 	(obj:264000)
B[3,1,757]                                          1 	(obj:264000)
B[3,1,758]                                          1 	(obj:264000)
B[3,1,759]                                          1 	(obj:264000)
B[3,1,761]                                          1 	(obj:264000)
B[3,1,762]                                          1 	(obj:264000)
B[3,1,763]                                          1 	(obj:264000)
B[3,1,766]                                          1 	(obj:264000)
B[3,1,767]                                          1 	(obj:264000)
SCIP Status        : problem is solved [optimal solution found]
Total Time         :      22.13
  solving          :      21.80
  presolving       :       0.96 (included in solving)
  reading          :       0.33
Original Problem   :
  Problem name     : ampl
  Variables        : 55236 (55236 binary, 0 integer, 0 implicit integer, 0 continuous)
  Constraints      : 11692 initial, 11692 maximal
  Objective sense  : minimize
Presolved Problem  :
  Problem name     : t_ampl
  Variables        : 3759 (3759 binary, 0 integer, 0 implicit integer, 0 continuous)
  Constraints      : 5137 initial, 5137 maximal
Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
  trivial          :       0.02        432          0          0          0          0          0          0          0          0
  dualfix          :       0.05      34656          0          0          0          0          0          0          0          0
  boundshift       :       0.00          0          0          0          0          0          0          0          0          0
  inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
  implics          :       0.00          0          0          0          0          0          0          0          0          0
  pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
  probing          :       0.55          0          0          0          0          0          0          0          0          0
  setppc           :       0.05      16389          0          0          0          0          0          0          0          0
  linear           :       0.09          0          0          0          0          0       6910          0          6          0
  root node        :          -       2689          -          -       2689          -          -          -          -          -
Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
  integral         :          0          0          0          0          7          0          9          0          0          1          0          0          8
  setppc           :       5137       5137        169       3784          2          0          6          0          0       2681          0          0          0
  countsols        :          0          0          0          0          2          0          4          0          0          0          0          0          0
Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
  integral         :       1.46       0.00       0.00       1.46       0.00       0.00       0.00
  setppc           :       0.32       0.08       0.24       0.00       0.00       0.00       0.00
  countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
  redcost          :        179          0          0          8
  vbounds          :          0          0          0          0
  rootredcost      :          2          0          0          0
  pseudoobj        :       1714          0          0          0
  probing          :          0          0          0          0
Propagator Timings :  TotalTime   Presolve  Propagate    ResProp
  redcost          :       0.06       0.00       0.06       0.00
  vbounds          :       0.00       0.00       0.00       0.00
  rootredcost      :       0.00       0.00       0.00       0.00
  pseudoobj        :       0.00       0.00       0.00       0.00
  probing          :       0.55       0.55       0.00       0.00
Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
  propagation      :       0.00          0          0          0        0.0          0        0.0          -
  infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
  bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
  strong branching :       0.00          0          0          0        0.0          0        0.0          0
  pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
  applied globally :          -          -          -          0        0.0          -          -          -
  applied locally  :          -          -          -          0        0.0          -          -          -
Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
  cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 35)
  closecuts        :       0.00          0          0          0          0          0
  impliedbounds    :       0.12        169          0          0          0          0
  intobj           :       0.00          0          0          0          0          0
  gomory           :       0.02         11          0          0        550          0
  cgmip            :       0.00          0          0          0          0          0
  strongcg         :       0.43         21          0          0      10500          0
  cmir             :       0.33         11          0          0          0          0
  flowcover        :       0.25         11          0          0          0          0
  clique           :      14.01        169          0          0       1072          0
  zerohalf         :       0.00          0          0          0          0          0
  mcf              :       0.02          2          0          0          0          0
  oddcycle         :       0.00          0          0          0          0          0
  rapidlearning    :       0.00          0          0          0          0          0
Pricers            :       Time      Calls       Vars
  problem variables:       0.00          0          0
Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
  relpscost        :       1.46          5          0          1          0          0          8
  pscost           :       0.00          0          0          0          0          0          0
  inference        :       0.00          0          0          0          0          0          0
  mostinf          :       0.00          0          0          0          0          0          0
  leastinf         :       0.00          0          0          0          0          0          0
  fullstrong       :       0.00          0          0          0          0          0          0
  allfullstrong    :       0.00          0          0          0          0          0          0
  random           :       0.00          0          0          0          0          0          0
Primal Heuristics  :       Time      Calls      Found
  LP solutions     :       0.00          -          2
  pseudo solutions :       0.00          -          0
  crossover        :       0.00          0          0
  coefdiving       :       0.00          0          0
  pscostdiving     :       0.00          0          0
  fracdiving       :       0.00          0          0
  trivial          :       0.05          2          0
  shiftandpropagate:       0.07          1          1
  simplerounding   :       0.00          0          0
  zirounding       :       0.01          0          0
  rounding         :       0.22        103          0
  shifting         :       0.65        100          0
  intshifting      :       0.00          0          0
  oneopt           :       0.01          4          0
  twoopt           :       0.00          0          0
  fixandinfer      :       0.00          0          0
  feaspump         :       0.10          1          1
  clique           :       0.00          0          0
  veclendiving     :       0.00          0          0
  intdiving        :       0.00          0          0
  actconsdiving    :       0.00          0          0
  objpscostdiving  :       0.00          0          0
  rootsoldiving    :       0.00          0          0
  linesearchdiving :       0.00          0          0
  guideddiving     :       0.00          0          0
  octane           :       0.00          0          0
  rens             :       0.09          1          1
  rins             :       0.00          0          0
  localbranching   :       0.00          0          0
  mutation         :       0.00          0          0
  dins             :       0.00          0          0
  vbounds          :       0.00          0          0
  undercover       :       0.00          0          0
  subnlp           :       0.00          0          0
  trysol           :       0.00          0          0
LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
  primal LP        :       0.19         29          0       0.00       0.00       0.19         29
  dual LP          :       2.30        180      17764     100.36    7723.48       0.01          3
  lex dual LP      :       0.00          0          0       0.00          -
  barrier LP       :       0.00          0          0       0.00          -       0.00          0
  diving/probing LP:       0.10          2        879     439.50    8790.00
  strong branching :       1.46         95       9546     100.48    6538.36
    (at root node) :          -         34       3230      95.00          -
  conflict analysis:       0.00          0          0       0.00          -
B&B Tree           :
  number of runs   :          2
  nodes            :          6
  nodes (total)    :          7
  nodes left       :          0
  max depth        :          3
  max depth (total):          3
  backtracks       :          2 (33.3%)
  delayed cutoffs  :          0
  repropagations   :          0 (0 domain reductions, 0 cutoffs)
  avg switch length:       2.33
  switching time   :       0.02
Solution           :
  Solutions found  :          5 (4 improvements)
  First Solution   : +1.75066992000000e+08   (in run 1, after 1 nodes, 1.04 seconds, depth 753, found by <shiftandpropagate>)
  Primal Bound     : +1.67398104000000e+08   (in run 2, after 5 nodes, 21.79 seconds, depth 3, found by <relaxation>)
  Dual Bound       : +1.67398104000000e+08
  Gap              :       0.00 %
  Root Dual Bound  : +1.65903884500000e+08
  Root Iterations  :      16551